Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Все языки
Польский
Русский
Сербский

satisfiability problem

Толкование Перевод

1 satisfiability problem
1. проблема выполнимости
проблема выполнимости
Термин булевой алгебры, определяет, какое значение 1 или 0 надо добавить к выражению, чтобы выражение равнялось 1. Это - труднорешаемая задача.
[ http://www.morepc.ru/dict/]

Тематики
- информационные технологии в целом
EN
- satisfiability problem
Англо-русский словарь нормативно-технической терминологии > satisfiability problem
2 satisfiability problem

проблема выполнимости( в булевой алгебре)

Большой англо-русский и русско-английский словарь > satisfiability problem
3 satisfiability problem

1) Математика: задача выполнимости

2) Вычислительная техника: проблема выполнимости, проблема выполнимости (в булевой алгебре)

Универсальный англо-русский словарь > satisfiability problem
4 satisfiability problem

вчт задача о возможности выполнения всех условий

English-Russian electronics dictionary > satisfiability problem
5 satisfiability problem

вчт. задача о возможности выполнения всех условий

The New English-Russian Dictionary of Radio-electronics > satisfiability problem
6 satisfiability problem

проблема выполнимости ( в булевой алгебре)

English-Russian dictionary of computer science and programming > satisfiability problem
7 satisfiability problem

мат.

проблема выполнимости

English-Russian scientific dictionary > satisfiability problem
8 satisfiability problem

проблема выполнимости

English-Russian information technology > satisfiability problem
9 restricted satisfiability problem

Программирование: ограниченная проблема выполнимости

Универсальный англо-русский словарь > restricted satisfiability problem
10 problem

1) задача; проблема

2) неисправность

3) трудность, затруднение

•

problem with fixed boundaries — задача с неподвижными границами

problem with losses — задача об обслуживании с потерями

problem with movable boundaries — задача с подвижными границами

problem with waiting — задача об обслуживании с ожиданием

to attack a problem — штурмовать проблему

to formulate a problem — формулировать проблему

to work out a problem — разрабатывать проблему

to state a problem — ставить задачу

- absorption problem

- abstract problem

- accompanying problem

- adjoint problem

- advertizing problem

- algebraic problem

- algorithmically unsolvable problem

- applied problem

- approach problem

- arithmetical problem

- assignment problem

- asymptotic problem

- attack-and-defense problem

- augmented problem

- auxiliary problem

- axially symmetric problem

- ballistic problem

- ballot problem

- barrier problem

- basic maximum problem

- betting problem

- bidual problem

- bifurcation problem

- biharmonic problem

- binary problem

- birthday problem

- blending problem

- bottleneck problem

- boundary problem
- boundary value problem
- bounded problem

- bounded-variable problem

- brachistochrone problem

- burglar problem

- cake-cutting problem

- calculability problem

- canonical problem

- capacitated transportation problem
- card matching problem
- cataloguing problem

- caterer problem

- Cauchy problem

- center problem

- center-and-focus problem

- central asymptotic problem
- central limit problem
- chance-constrained problem

- characteristic problem

- characterization problem

- check problem

- classical problem

- classification problem

- closed problem

- coercitive problem

- coexistence problem

- coin-tossing problem

- coin-weighing problem

- coloring problem

- combinatorial problem

- compactness problem

- competitive problem

- compression problem

- computational problem

- conceptual problem

- conjugate problem

- constant problem

- construction problem

- continuum problem

- contract-awards problem

- control problem

- convergence problem

- convex programming problem

- correspondence problem

- counterfeit coin problem

- crossing problem

- dancing problem

- decidability problem

- decision problem under certainty
- decision problem under risk - decision problem under uncertainty
- decoding problem

- degenerate problem

- delivery problem

- diet problem

- differentiation problem

- diffusion problem

- dimensionality problem

- direct problem

- Dirichlet's problem

- disorder problem

- distribution problem

- divisor problem

- domino problem

- econometric problem

- effectivity problem

- eigenvalue problem

- election problem

- embedding problem

- empirical problem

- encounter problem

- entrance-fee problem

- enumerability problem

- enumeration problem

- epistemological problem

- equilibrium problem

- equivalence problem

- equivalent problem

- error minimization problem

- estimation problem

- evolutionary problem

- explosion problem

- extended problem

- extension problem

- extremal problem
- extremum problem - fair division problem
- feasibility problem

- feasible problem

- feed mix problem

- filtering problem

- finitary problem

- five queens problem

- fixed-charge problem

- flow problem

- forecasting problem

- foreman problem

- gambler ruin problem
- gambling problem - gasoline blending problem
- general problem

- generalized problem

- gold-mining problem

- graph-theoretic problem

- halting problem

- hill-climbing problem

- homogeneity problem

- homogeneous problem

- homotopy problem

- identification problem

- identity problem

- ill-conditioned problem

- ill-defined problem

- ill-posed problem

- ill-structured problem

- improperly posed problem
- incompletely structured problem
- index of problem

- infeasible problem

- inference problem

- infinite medium problem

- infinitesimal problem

- information retrieval problem

- inhomogeneous problem

- initial problem

- initial-value problem

- inner problem

- insoluble problem

- integration problem

- interpolation problem

- intractable problem

- intricate problem

- invariant problem

- inverse problem

- inversion problem

- irregular problem

- isometric problem

- isomorphism problem

- isoperimetric problem

- knapsack problem

- knight problem

- labyrinth problem

- lattice search problem

- linear problem

- loading problem

- location problem

- many-body problem

- map-colouring problem

- map-folding problem

- mass problem

- master problem

- matching problem

- mathematical problem

- maximization problem

- maximum-flow problem

- menage problem

- menu problem

- metrization problem

- minimal length problem

- minimax problem

- minimization problem

- mixed problem

- module problem

- moment problem

- monkey-banana problem

- monotonic problem

- moving boundary problem

- multicriterion problem

- multidecision problem

- multidimensional problem

- multiextremal problem

- multiindex problem

- multiple-integral problem

- multivariate problem

- natural problem

- necklace problem

- needle problem

- nested problem

- network flow problem

- network problem

- newspaper-boy problem

- nondifferentiable problem

- nonhomogeneous problem

- nonlinear problem

- nonlinear programming problem

- nonparametric problem

- nonsequential problem

- nonstationary problem

- nonstochastic problem

- non-uniform problem

- nonwell-posed problem

- normal problem

- normative problem

- number problem

- numerical problem

- observation problem

- occupancy problem

- one-armed bandit problem

- one-dimensional problem

- one-sample problem

- open problem

- optimal assignment problem
- optimal path problem - optimal stopping problem
- optimization problem

- optimum problem

- orderability problem

- original problem

- outer problem

- overspecified problem

- packing problem

- parametric dual problem

- parking problem

- partition problem

- percolation problem

- permutation problem

- personnel-assignment problem

- petrol blending problem

- picnic problem

- plane problem

- Plateau's problem

- polar problem

- polynomial approximation problem
- portfolio selection problem
- positional problem

- postman problem

- power moment problem
- precisely specified problem
- prediction problem

- prefix problem

- prey-predator problem

- primal problem

- probabilistic problem

- problem of allocation

- problem of deadly embrace

- problem of derangements

- problem of eight queens

- problem of elimination

- problem of form equivalence

- problem of interpolating

- problem of interpretation

- problem of inverse probability

- problem of localization

- problem of matching

- problem of projectivity

- problem of reduction

- problem of separability

- problem of six red disks

- problem of solvability

- problem of thirteen spheres

- problem of uniqueness

- problem of warders

- programming problem

- properly posed problem

- purchasing problem

- pursuit problem

- puzzle problem

- pyramided problem

- quadratic programming problem

- quadrature problem

- quasilinear problem

- random-walk problem

- ranking problem

- realizability problem

- recursively enumerable problem
- recursively solvable problem
- reduced problem

- reducibility problem

- reducible problem

- regression problem

- relaxed problem

- rendezvous problem

- representation problem

- resource allocation problem

- restricted problem

- roulette problem

- routine problem

- ruin problem

- saddle point problem

- satisfiability problem

- scheduling problem

- schoolgirls problem

- scope of problem

- search problem

- secretary problem

- self-adjoint problem

- semidefinite problem

- separable problem

- separation problem

- sequencing problem

- sequential decision problem
- sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem
- singular problem

- solvable problem

- special problem

- specialization problem

- spectral problem

- stable marriage problem
- standard control problem
- statistical problem

- stereometric problem

- stiff problem

- stopping problem

- structural problem

- substitution problem

- symmetric problem

- systems analysis problem

- taxicab problem

- tenth problem

- termination problem

- ternary problem

- three body problem
- three houses and three wells problem
- three-choice problem

- three-color problem

- three-dimensional problem

- three-point problem

- timetable problem

- tournament problem

- toymaker problem

- trace problem

- tradeoff problem

- traffic problem

- trajectory problem

- transformed problem

- transport problem

- transportation problem

- transshipment problem

- trasport problem

- travelling salesman problem

- tree-structured problem

- triangulizability problem

- trigonometric moment problem

- trigonometric problem

- trim problem

- two body problem

- two noncharacteristic problem

- two-armed-bandit problem

- two-body problem

- two-choice problem

- two-dimensional problem

- two-means problem

- two-point boundary problem

- two-sample problem

- uncertainty problem

- unconstrained problem

- undecidable problem

- underspecified problem

- unicity problem

- universal problem

- unsolvable problem

- unstable problem

- unstructural problem

- unsymmetric dual problem

- variational problem

- waiting time problem

- warehousing problem

- well-behaved problem

- well-defined problem

- well-formulated problem

- well-set problem

- well-structured problem

- word problem

- worked problem

English-Russian scientific dictionary > problem
11 problem

задача; проблема

the problem is not so severe — проблема стоит не столь остро

- 90% complete problem
- accounting problem
- allocation problem
- assignment problem
- ballot problem
- benchmark problem
- blending problem
- bottleneck problem
- boundary-value problem
- boundary problem
- business problem
- Byzantine Generals problem
- center problem
- check problem
- chess problem
- commonly encountered problem
- computational problem
- continuum problem
- covering problem
- data problem
- data-set problem
- daunting problem
- decision problem
- deducibility problem
- design problem
- dining philosophers' problem
- dual problem
- eigenvalue assignment problem
- eigenvalue problem
- estimation problem
- EVA problem
- extremely ill-conditioned problem
- fault-location problem
- filtering problem
- findpath problem
- finger-pointing problem
- flow problem
- frame problem
- free-boundary problem
- game-theory problem
- game problem
- graph theoretic problem
- graphics problem
- ill-conditioned problem
- ill-defined problem
- ill-posed problem
- inference problem
- information retrieval problem
- initial value problem
- intractable problem
- job-shop problem
- knapsack problem
- Konigsberg bridge problem
- labyrinth problem
- location problem
- logical problem
- management problem
- market analysis problem
- marriage problem
- maximum flow problem
- maximum network flow problem
- mildly ill-posed problem
- minimal connector problem
- model problem
- multivariate problem
- newspaper-boy problem
- ninety percent complete problem
- nominal design problem
- off-by-one problem
- omelet problem
- one-sample problem
- postman problem
- programming problem
- projection problem
- pursuit problem
- quadratic assignment problem
- queuing problem
- race problem
- ramification problem
- real-time problem
- real-world problem
- reducibility problem
- resource allocation problem
- routing problem
- ruin problem
- satisfiability problem
- scheduling problem
- search problem
- severely ill-posed problem
- shortest route problem
- simulated problem
- software problem
- sparse problem
- stale data problem
- stochastic problem
- switchbox routing problem
- switchbox problem
- target assignment problem
- test problem
- three-dimensional problem
- time transportation problem
- trade-off problem
- traffic problem
- transport problem
- transportation problem
- traveling salesman problem
- trouble-location problem
- troubleshooting problem
- unconstrained problem
- undecidable problem
- underdetermined problem
- unsolvable problem
- unstructured problem
- variational problem
- vessel loading problem
- waiting line problem
- weak bridge problem
- well-behaved problem
- well-defined problem
- well-posed problem

English-Russian dictionary of computer science and programming > problem
12 problem

1) проблема; задача

2) проблемный

3) вчт прикладной ( о программе или программисте)

•

- problem of allocation
- AI-complete problem
- artificial intelligence complete problem
- assignment problem
- backup problem
- benchmark problem
- bottleneck problem
- Cauchy problem
- check problem
- collision domain problem
- complementary nondeterministic polynomial time problem
- computational problem
- CoNP problem
- credit assignment problem
- decision problem
- design problem
- dimensionality problem
- domino problem
- dual problem
- eigenvalue problem
- eigenvalue assignment problem
- eight queens problem
- EVA problem
- exclusive OR problem
- feasible problem
- formalized problem
- halting problem
- identification problem
- ill-conditioned problem
- incorrectly structured problem
- key distribution problem
- Königsberg bridge problem
- last mile problem
- maximal clique problem
- multiple comparisons problem
- multi-sample problem
- nondeterministic polynomial time problem
- nondeterministic polynomial time complete problem
- nondeterministic polynomial time hard problem
- NP problem
- NPC problem
- NPH problem
- NUXI problem
- one-sample problem
- P-problem
- polynomial time problem
- Post problem
- Post correspondence problem
- Riemann-Hilbert problem
- roller-coaster problem
- satisfiability problem
- scale-up problem
- semi-structured problem
- SIEB problem
- slow-path problem
- sparse problem
- steadily injected electron beam problem
- Steiner problem on graphs
- structured problem
- test problem
- transcomputational problem
- traveling salesman problem
- trouble-location problem
- unformalized problem
- unstructured problem
- variational problem
- Y2K problem
- year 2000 problem

English-Russian electronics dictionary > problem
13 problem

1) проблема; задача

2) проблемный

3) вчт. прикладной ( о программе или программисте)

•

- AI-complete problem
- artificial intelligence complete problem
- assignment problem
- backup problem
- benchmark problem
- bottleneck problem
- Cauchy problem
- check problem
- collision domain problem
- complementary nondeterministic polynomial time problem
- computational problem
- CoNP problem
- credit assignment problem
- decision problem
- design problem
- dimensionality problem
- domino problem
- dual problem
- eigenvalue assignment problem
- eigenvalue problem
- eight queens problem
- EVA problem
- exclusive OR problem
- feasible problem
- formalized problem
- halting problem
- identification problem
- ill-conditioned problem
- incorrectly structured problem
- key distribution problem
- Königsberg bridge problem
- last mile problem
- maximal clique problem
- multiple comparisons problem
- multi-sample problem
- nondeterministic polynomial time complete problem
- nondeterministic polynomial time hard problem
- nondeterministic polynomial time problem
- NP problem
- NPC problem
- NPH problem
- NUXI problem
- one-sample problem
- P problem
- polynomial time problem
- Post correspondence problem
- Post problem
- problem of allocation
- Riemann-Hilbert problem
- roller-coaster problem
- satisfiability problem
- scale-up problem
- semi-structured problem
- SIEB problem
- slow-path problem
- sparse problem
- steadily injected electron beam problem
- Steiner problem on graphs
- structured problem
- test problem
- transcomputational problem
- traveling salesman problem
- trouble-location problem
- unformalized problem
- unstructured problem
- variational problem
- Y2K problem
- year 2000 problem

The New English-Russian Dictionary of Radio-electronics > problem
14 проблема выполнимости

satisfiability problem

Большой англо-русский и русско-английский словарь > проблема выполнимости
15 задача выполнимости

мат. satisfiability problem

Большой англо-русский и русско-английский словарь > задача выполнимости

См. также в других словарях:

Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Maximum satisfiability problem — In computational complexity theory, the Maximum Satisfiability problem (MAX SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula, that can be satisfied by some assignment. It is an FNP generalization of SAT … Wikipedia
Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… … Wikipedia
Satisfiability — Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von engl. satisfiability) ist ein Entscheidungsproblem. Es fragt, ob eine aussagenlogische Formel erfüllbar ist. Anwendungen finden sich unter anderem in der Komplexitätstheorie, Verifikation und… … Deutsch Wikipedia
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Clique problem — The brute force algorithm finds a 4 clique in this 7 vertex graph (the complement of the 7 vertex path graph) by systematically checking all C(7,4)=35 4 vertex subgraphs for completeness. In computer science, the clique problem refers to any of… … Wikipedia
Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… … Wikipedia
Constraint satisfaction problem — Constraint satisfaction problems (CSP)s are mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations. CSPs represent the entities in a problem as a homogeneous collection of finite… … Wikipedia
P versus NP problem — Unsolved problems in computer science Is P = NP ? … Wikipedia
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

satisfiability problem

Тематики

EN

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

satisfiability problem

Тематики

EN

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: